/*package UnitTestsConcurrentes;

import static org.junit.Assert.*;
import Baterias.*;
import org.junit.Test;

public class LecturaDeMatrizDeIncidencia {

	@Test
	public void test() {
		//fail("Not yet implemented");
		int numBateria=1;
		
		Petri petri = new Petri();
		petri.printMarcacion();
		
		
		int[][] vectorD=petri.getVectorDeDisparo(numBateria);
		boolean exitoD = petri.efectuarDisparo(vectorD);
		petri.printMarcacion();
		
		int[][] vectorR=petri.getVectorRestart(numBateria);
		boolean exitoR = petri.efectuarDisparo(vectorR);
		petri.printMarcacion();
		
		if(!exitoR&&exitoD){fail("DisparoFallido");}
		
	}

}*/
